Quasi-modal Algebras

نویسنده

  • Sergio Celani
چکیده

In this paper we introduce the class of Boolean algebras with an operator between the algebra and the set of ideals of the algebra. This is a generalization of the Boolean algebras with operators. We prove that there exists a duality between these algebras and the Boolean spaces with a certain relation. We also give some applications of this duality.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Subdirectly Irreducible Quasi-modal Algebras

In this paper we give suitable notions of congruences and subdirectly irreducible algebras for the class of quasi-modal algebras introduced in [1]. We also prove some characterizations of subdirectly irreducible algebras following the similar results given by G. Sambin [5] for modal algebras.

متن کامل

Amalgamation Property in Quasi-modal Algebras

In this paper we will give suitable notions of Amalgamation and Super-amalgamation properties for the class of quasi-modal algebras introduced by the author in his paper Quasi-Modal algebras.

متن کامل

Duals of subdirectly irreducible modal algebras

We give a characterization of the simple, and of the subdirectly irreducible boolean algebras with operators (including modal algebras), in terms of the dual descriptive frame. These characterizations involve a special binary quasi-reachability relation on the dual structure; we call a point u a quasi-root of the dual structure if every ultrafilter is quasireachable from u. We prove that a bool...

متن کامل

Semi-linear Varieties of Lattice-Ordered Algebras

We consider varieties of pointed lattice-ordered algebras satisfying a restricted distributivity condition and admitting a very weak implication. Examples of these varieties are ubiquitous in algebraic logic: integral or distributive residuated lattices; their {·}-free subreducts; their expansions (hence, in particular, Boolean algebras with operators and modal algebras); and varieties arising ...

متن کامل

On Certain Quasivarieties of Quasi-MV Algebras

Quasi-MV algebras are generalisations of MV algebras arising in quantum computational logic. Although a reasonably complete description of the lattice of subvarieties of quasi-MV algebras has already been provided, the problem of extending this description to the setting of quasivarieties has so far remained open. Given its apparent logical repercussions, we tackle the issue in the present pape...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1999